Term Rewriting
--------------

<!--
SPDX-FileCopyrightText: Chris Pressey, the original author of this work, has dedicated it to the public domain.

SPDX-License-Identifier: CC0-1.0
-->

[(Up)](../../README.md#topics) | _See also: [Equational Logic](../Equational%20Logic/README.md#equational-logic)_

- - - -


### Web resources

_(in [Programming Languages](../Programming%20Languages/README.md#programming-languages))_ [Pure Programming Language](https://agraef.github.io/pure-lang/) ★

_(in [Programming Languages](../Programming%20Languages/README.md#programming-languages))_ [Refal](https://cgi.csc.liv.ac.uk/~alexei/VeriSuper/node2.html) ★

_(in [Programming Languages](../Programming%20Languages/README.md#programming-languages))_ [K \| Runtime Verification Inc](https://kframework.org/) ★


### Repositories

_(in [Attribute Grammars](../Attribute%20Grammars/README.md#attribute-grammars))_ [christoff-buerger/racr: Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.](https://github.com/christoff-buerger/racr) ★


### Papers

[Combinatory Reduction Systems](https://core.ac.uk/download/pdf/82018757.pdf) ★★ [💭](commentary/Chris%20Pressey.md#combinatory-reduction-systems)

[Matching Power](https://web.archive.org/web/20161022182015/http://rho.loria.fr/data/rta2001.pdf) ★ [💭](commentary/Chris%20Pressey.md#matching-power)

[The Rho Cube](https://link.springer.com/content/pdf/10.1007/3-540-45315-6_11.pdf)

[A Constructive Semantics for Rewriting Logic](https://digitalcommons.uri.edu/oa_diss/268/) ★★ [💭](commentary/Chris%20Pressey.md#a-constructive-semantics-for-rewriting-logic)

Rewriting Logic as a Logical and Semantic Framework (online @ [maude.cs.uiuc.edu](https://maude.cs.uiuc.edu/papers/abstract/tcs4012.html))

_(in [Equational Logic](../Equational%20Logic/README.md#equational-logic))_ [Equational logic, unification and term rewriting](https://www2.math.uu.se/~palmgren/tillog/equlogic07.pdf) ★★


### Books

Advanced Topics in Term Rewriting (borrow @ [archive.org](https://archive.org/details/advancedtopicsin0000ohle)) ★★

Reflection in Rewriting Logic (borrow @ [archive.org](https://archive.org/details/reflectioninrewr0000clav)) [💭](commentary/Chris%20Pressey.md#reflection-in-rewriting-logic)

_(in [Logic](../Logic/README.md#logic))_ Handbook of logic in artificial intelligence and logic programming, Vol 1 (borrow @ [archive.org](https://archive.org/details/handbookoflogici0001unse)) [💭](commentary/Chris%20Pressey.md#handbook-of-logic-in-artificial-intelligence-and-logic-programming-vol-1)